Dynamics in ML
نویسندگان
چکیده
منابع مشابه
Dynamics in ML
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions of the ML language with dynamics, based on our work on the CAML implementation of ML, and discusses their usefulness. The main novelty of this work is the combination of dynamics with polymorphism.
متن کاملCalcul Symbolique, Programmation Et G Enie Logiciel Dynamics in Ml Les Dynamiques En Ml Dynamics in Ml
R esum e Les objets avec types dynamiques permettent d'incorporer aux langages statiquement typ es des op erations qui par leur nature requi erent des v eriications de types a l'ex ecution. Ce rapport pr esente deux proposition d'extension du langage ML avec les dynamiques, for-malisant et etendant ce qui a et e mis en pratique dans le syst eme CAML, et etudie l'utilit e pratique de ces extensi...
متن کاملDynamics for ML using Meta-Programming
We present the design and implementation of dynamic type and value introspection for the OCaml language. Unlike previous attempts, we do not modify the core compiler or type-checker, and instead use the camlp4 metaprogramming tool to generate appropriate definitions at compilation time. Our dynamics library significantly eases the task of generating generic persistence and I/O functions in OCam...
متن کاملElements of ML programming - ML 97 edition
elements of ml programming ml97 edition khbd elements of ml programming ml97 edition eyeguy elements of ml programming ml97 edition campen elements of ml programming ml97 edition anymix elements of ml programming ml97 edition dcnx elements of ml programming ml97 edition wigtql.herokuapp elements of ml programming ml97 edition ztrd elements of ml programming ml97 edition deelyey elements of ml p...
متن کاملDistributed communication in ML
We present our experience in implementing a group communication toolkit in Objective Caml, a dialect of the ML family of programming languages. We compare the toolkit both quantitatively and qualitatively to a predecessor toolkit which was implemented in C. Our experience shows that using the high-level abstraction features of ML gives substantial advantages. Some of these features, such as aut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 1993
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796800000848